Predecessor and Permutation Existence Problems for Sequential Dynamical Systems

1Basic and Applied Simulation Science (CCS-5) and National Infrastructure Simulation and Analysis Center (NISAC), Los Alamos National Laboratory, P.O. Box 1663, MS M997, Los Alamos, NM 87545. Email: {barrett, marathe}@lanl.gov. The work is supported by the U.S. Department of Energy under contract W-7405-ENG-36. 2Department of Computer Science, University at Albany SUNY, Albany, NY 12222. Email: {hunt, ravi, djr, res}@cs.albany.edu. Supported by a grant from Los Alamos National Laboratory and by NSF Grants CCR-97-34936 and CCR-01-05536. 3Part of the work was done while the authors were visiting the Basic and Applied Simulation Sciences Group (NISAC) at the Los Alamos National Laboratory.